Nuprl Definition : le 9,38
A  B == (B < A) 
latex

DefinitionsA  B, A
FDL editor aliasesle

origin